TAGs: distributive property 2x